优化变形能的平面多边形同构剖分

平面多边形间的同构三角剖分是平面形状渐进过渡与插值的基础,降低对应三角形的变形程度是获得高质量应用的关键.文中提出一种基于变形能优化的2个平面多边形的同构剖分算法,其中包含同构剖分生成和变形能最小化2个模块.首先根据用户指定的对应特征点对多边形进行顶点重采样,得到顶点一一对应的2个多边形;然后利用带约束的Delaunay剖分对其中的一个多边形进行三角化,得到源网格;再用重心坐标将源网格的内部顶点嵌入到另一个多边形得到同构剖分(目标网格);最后逐一检查三角形的变形能,对源网格中变形能超过阈值的三角形进行细分,用同构剖分模块生成新的目标网格.实验及数据统计分析表明,该算法可以得到较好的同构三角剖分,提升网格质量,并能很好地避免纹理细节失真.     

锥度量空间中四个自映射的公共不动点定理

在完备的锥度量空间中讨论了4个自映射的公共不动点定理,其存在性和唯一性得到证明。所得主要结果将锥度量空间中的公共不动点定理进行了推广。     

New display concept for realistic reproduction of high-luminance colors

A new display concept for reproduction of high-luminance colors based on a liquid crystal display has been developed using a brighter backlight unit and color mapping algorithms. The new concept is able to display brighter colors close to a peak luminance of a display white than conventional displays so that realistic scene of brighter colors is better reproduced. It may also be one of the future display solutions needed to extend the color gamut in the direction of brighter colors, which is a principal limitation in conventional displays even in high-dynamic range display systems. With the new concept, an xvYCC- (extended-video YCbCr) compatible display can be easily realized.     

Truth-Telling Reservations

We present a mechanism for reservations of bursty resources that is both truthful and robust. It consists of option contracts whose pricing structure induces users to reveal the true likelihoods that they will purchase a given resource. Users are also allowed to adjust their options as their likelihood changes. This scheme helps users save cost and the providers to plan ahead so as to reduce the risk of under-utilization and overbooking. The mechanism extracts revenue similar to that of a monopoly provider practicing temporal pricing discrimination with a user population whose preference distribution is known in advance.     

气力输送技术及其智能时间控制系统在燃煤电厂的应用

随着国家对环境保护工作的重视和社会对电厂粉煤灰的综合利用,当前新建机组都采用了干式除灰,气力输灰技术作为一种高效经济的干式除灰方式,在燃煤电厂得到了越来越广泛的应用。在气力输灰的运行控制方式中,先后出现过时间控制方式、仓泵料位计控制方式、灰斗料位计控制方式、时间加料位控制方式等多种控制方案。在本文中,介绍气力输灰的运行原理及其全新的控制模式-ITC智能时间控制系统。     

一种激励相容的P2P信誉模型

针对现有的信任模型不能很好地处理P2P网络环境中恶意节点提供虚假服务的欺作行为,及不积极提供诚实推荐的问题,提出了一种激励相容的P2P信誉模型(简称ICRM)。该模型使用时间区间的概念来标示经验和推荐的时间特性,利用直接信任度、推荐信任度及推荐可信度等机制来精确描述节点的实际信任等级,并引入参与层次来度量节点提供推荐的积极程度,从而有效地识别与抑制不同类型的恶意节点,激励节点积极提供诚实推荐。仿真实验表明,ICRM能够有效地抑制恶意节点的欺作行为及不诚实反馈行为,并能有效解决节点推荐积极性不高的问题。     

实现物探测线高效布设的一种方法

物探测线布设是一项重要的基础性工作,其施工效率直接影响物探勘查工作的开展。利用GPS相关软件完成测点数据的批量输入可以在很大程度上提高工作效率,但随着USB接口的支持及普及,其效果便不再那么明显和突出,相比之下兼容格式的研究与应用更能有效地提高测线布设的效率,也更为简便和有效。为了进一步提高工作效率,利用Visual C＋＋编程简化了测线布设中涉及的测线计算和数据输入等操作流程,避免了手工计算和数据格式转换的麻烦,达到了测线高效布设的目的。文中详细介绍了物探弯曲测线的计算方法和常用GPS兼容格式的转换方法与软件应用。实例表明该方法方便、有效,能节省大量的室内和野外工作量。     

基于优化编码的LFSR重播种测试压缩方案

大规模高密度集成电路测试中存在测试数据量大、测试功耗高等问题.提出了一种先通过编码优化测试集,再使用线性反馈移位寄存器(linear feedback shift register,LFSR)重播种的内建自测试方案.该方案通过自动测试模式生成工具得到被测电路的确定测试集,再压缩为种子集存储在片上ROM中.压缩测试集的过程中,首先以降低测试功耗为目标,用少量确定位编码测试集中的部分测试立方,来增强解码后测试模式相邻位之间的一致性;然后以提高压缩率同时降低LFSR级数为目标,将测试立方编码为确定位含量更少的分段相容码(CBC),最后将以CBC编码的测试立方集压缩为LFSR种子集.实验证明所提出的方案在不影响故障覆盖率的前提下大量降低了测试功耗,并且具有更高的测试数据压缩率.     

优势关系下的相容约简和下近似约简

定义了决策表在优势关系下的相容约简和下近似约简,优势关系下的相容约简是优势关系下一致决策表约简的推广。证明了优势关系下的下近似协调集是优势关系下的相容协调集。举例说明了优势关系下的相容协调集不是优势关系下的下近似协调集,给出了优势关系下的相容约简和下近似约简的判定定理和可辨识矩阵,由此可以给出它们的约简算法。